Definition

For every T:T : \mathbb{N} \to \mathbb{N}, say that an alternating TM

#incomplete

See also


References

  1. S. Arora, B. Barak. Computational Complexity: A Modern Approach, Cambridge University Press, 2009, pp. 99-100.